Optimal. Leaf size=309 \[ \frac {2 C \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \operatorname {EllipticF}\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right ),\frac {h (d e-c f)}{f (d g-c h)}\right )}{d \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 (b B-2 a C) \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{\sqrt {f} \sqrt {e+f x} \sqrt {g+h x} (b c-a d)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.82, antiderivative size = 309, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 8, integrand size = 60, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {24, 1607, 169, 538, 537, 12, 121, 120} \[ \frac {2 C \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{d \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 (b B-2 a C) \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{\sqrt {f} \sqrt {e+f x} \sqrt {g+h x} (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 24
Rule 120
Rule 121
Rule 169
Rule 537
Rule 538
Rule 1607
Rubi steps
\begin {align*} \int \frac {a b B-a^2 C+b^2 B x+b^2 C x^2}{(a+b x)^2 \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx &=\frac {\int \frac {b^2 (b B-a C)+b^3 C x}{(a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx}{b^2}\\ &=\frac {\int \frac {b^2 C}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx}{b^2}+(b B-2 a C) \int \frac {1}{(a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx\\ &=C \int \frac {1}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx-(2 (b B-2 a C)) \operatorname {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {e-\frac {c f}{d}+\frac {f x^2}{d}} \sqrt {g-\frac {c h}{d}+\frac {h x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )\\ &=\frac {\left (C \sqrt {\frac {d (e+f x)}{d e-c f}}\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}} \sqrt {g+h x}} \, dx}{\sqrt {e+f x}}-\frac {\left (2 (b B-2 a C) \sqrt {\frac {d (e+f x)}{d e-c f}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {1+\frac {f x^2}{d \left (e-\frac {c f}{d}\right )}} \sqrt {g-\frac {c h}{d}+\frac {h x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )}{\sqrt {e+f x}}\\ &=\frac {\left (C \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}}\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}} \sqrt {\frac {d g}{d g-c h}+\frac {d h x}{d g-c h}}} \, dx}{\sqrt {e+f x} \sqrt {g+h x}}-\frac {\left (2 (b B-2 a C) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {1+\frac {f x^2}{d \left (e-\frac {c f}{d}\right )}} \sqrt {1+\frac {h x^2}{d \left (g-\frac {c h}{d}\right )}}} \, dx,x,\sqrt {c+d x}\right )}{\sqrt {e+f x} \sqrt {g+h x}}\\ &=\frac {2 C \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{d \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 (b B-2 a C) \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{(b c-a d) \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 1.65, size = 249, normalized size = 0.81 \[ \frac {2 i \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{h (c+d x)}} \left (d (2 a C-b B) \Pi \left (-\frac {b c f-a d f}{b d e-b c f};i \sinh ^{-1}\left (\frac {\sqrt {\frac {d e}{f}-c}}{\sqrt {c+d x}}\right )|\frac {d f g-c f h}{d e h-c f h}\right )-(a C d-b B d+b c C) \operatorname {EllipticF}\left (i \sinh ^{-1}\left (\frac {\sqrt {\frac {d e}{f}-c}}{\sqrt {c+d x}}\right ),\frac {d f g-c f h}{d e h-c f h}\right )\right )}{f \sqrt {g+h x} (a d-b c) \sqrt {\frac {d e}{f}-c} \sqrt {\frac {d (e+f x)}{f (c+d x)}}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: AttributeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.04, size = 663, normalized size = 2.15 \[ \frac {2 \sqrt {h x +g}\, \sqrt {f x +e}\, \sqrt {d x +c}\, \sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}\, \sqrt {-\frac {\left (h x +g \right ) d}{c h -d g}}\, \sqrt {-\frac {\left (f x +e \right ) d}{c f -d e}}\, \left (B b c d f \EllipticPi \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, -\frac {\left (c f -d e \right ) b}{\left (a d -b c \right ) f}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )-B b \,d^{2} e \EllipticPi \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, -\frac {\left (c f -d e \right ) b}{\left (a d -b c \right ) f}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )+C a c d f \EllipticF \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )-2 C a c d f \EllipticPi \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, -\frac {\left (c f -d e \right ) b}{\left (a d -b c \right ) f}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )-C a \,d^{2} e \EllipticF \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )+2 C a \,d^{2} e \EllipticPi \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, -\frac {\left (c f -d e \right ) b}{\left (a d -b c \right ) f}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )-C b \,c^{2} f \EllipticF \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )+C b c d e \EllipticF \left (\sqrt {\frac {\left (d x +c \right ) f}{c f -d e}}, \sqrt {\frac {\left (c f -d e \right ) h}{\left (c h -d g \right ) f}}\right )\right )}{\left (a d -b c \right ) \left (d f h \,x^{3}+c f h \,x^{2}+d e h \,x^{2}+d f g \,x^{2}+c e h x +c f g x +d e g x +c e g \right ) d f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {C b^{2} x^{2} + B b^{2} x - C a^{2} + B a b}{{\left (b x + a\right )}^{2} \sqrt {d x + c} \sqrt {f x + e} \sqrt {h x + g}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {-C\,a^2+B\,a\,b+C\,b^2\,x^2+B\,b^2\,x}{\sqrt {e+f\,x}\,\sqrt {g+h\,x}\,{\left (a+b\,x\right )}^2\,\sqrt {c+d\,x}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________